Digite uma palavra ou frase em qualquer idioma 👆
Idioma:
Tradução e análise de palavras por inteligência artificial ChatGPT
Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:
- como a palavra é usada
- frequência de uso
- é usado com mais frequência na fala oral ou escrita
- opções de tradução de palavras
- exemplos de uso (várias frases com tradução)
- etimologia
disjunctive syllogism - tradução para russo
INFERENCE RULE IN LOGICS : WITH "A OR B" AND "NOT A" DEDUCE "B"
Modus tollendo ponens; Elimination (logic); ∨E; Kneecapper's argument
disjunctive syllogism
математика
дизъюнктный силлогизм
modus tollendo ponens
общая лексика
отрицающе-утверждающий модус
правило удаления дизъюнкции
Латинский язык
модус толлендо поненс
disjunctive
WIKIMEDIA DISAMBIGUATION PAGE
Disjunctive (disambiguation)
disjunctive 1. noun 1) gram. разделительный союз 2) logic альтернатива 2. adj. 1) разъединяющий - disjunctive conjunction 2) logic альтернативный
Definição
Disjunctive Normal Form
(DNF) A logical formula consisting of a disjunction of
conjunctions where no conjunction contains a disjunction.
E.g. the DNF of (A or B) and C is (A and C) or (B and C).
(1994-12-07)
Wikipédia
Disjunctive syllogism
In classical logic, disjunctive syllogism (historically known as modus tollendo ponens (MTP), Latin for "mode that affirms by denying") is a valid argument form which is a syllogism having a disjunctive statement for one of its premises.
An example in English:
- The breach is a safety violation, or it is not subject to fines.
- The breach is not a safety violation.
- Therefore, it is not subject to fines.
